Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
581	1 IMQ ---------------------- Add to Reading List Source URL: www.afscet.asso.fr Language: English - Date: 2012-03-06 03:00:30 Symmetry Group action Modal logic Weight G factor Abstract algebra Algebra Group theory
582	18.312: Algebraic Combinatorics Lionel Levine Lecture 12 Lecture date: March 17, 2011 Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2011-08-19 00:40:35 Algebra Algebraic logic Incidence algebra Order theory Boolean algebra Lattice Fuzzy logic Residuated lattice Residuated Boolean algebra Abstract algebra Mathematics Algebraic structures
583	Knowledge and Communication: A First-Order Theory Ernest Davis 1 Courant Institute, New York University, New York, NYUSA Abstract Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-02-14 11:23:32 Model theory Deduction Entailment Logical consequence Metalogic First-order logic Common knowledge Function Axiom Logic Mathematics Philosophical logic
584	Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-07-25 13:39:19 Applied mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Valuation Boolean satisfiability problem Local consistency Abstract interpretation Theoretical computer science Constraint programming Mathematics
585	Automatic Binding-related Error Diagnosis in Logic Programs PaweÃl Pietrzak1 and Manuel V. Hermenegildo1,2 1 School of Computer Science, Technical University of Madrid (UPM) Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2007-11-07 05:34:04 Logic programming Software engineering Assertion Debugging Abstraction SLD resolution Abstract interpretation Tree Logic in computer science Computer programming Theoretical computer science
586	Potentiality, Actuality, and Reality Abstract: The concepts of potentiality and actuality play an important role in the philosophy of Hyponoetics. This essay discusses the etymology and meaning of both concepts and defin Add to Reading List Source URL: www.hyponoesis.org Language: English - Date: 2014-12-15 16:09:58 Aristotelianism Natural philosophy Dichotomies Modal logic Potentiality and actuality Aristotle Nous Self-actualization Virtuality Philosophy Scholasticism Metaphysics
587	IEEE J-STSP SPECIAL ISSUE ON STATISTICAL LEARNING METHODS FOR SPEECH AND LANGUAGE PROCESSING 1 Speech Recognition with Flat Direct Models Patrick Nguyen, Member, IEEE, Georg Heigold, and Geoffrey Zweig, Senior Member, I Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-02-15 10:28:34 Markov models Abstract algebra Automatic identification and data capture Computer accessibility Speech recognition Hidden Markov model Mutual information Modal logic Exponentiation Mathematics Logic Computational linguistics
588	The Semantic Dimensions of Disposition Ascriptions Abstract Recent work on the semantics of disposition ascriptions claims that dispositional predicates are context sensitive. However, the cases that are put forward to p Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-10-22 10:05:09 Semantics Grammar Predicate Logic Mathematical logic Mathematics
589	Nature and Development of Paranoesis (Transrational Thinking) Abstract: This essay discusses the dualism of subject and object and the kind of thought that is responsible for this schism of mind and world. Conceptual thi Add to Reading List Source URL: www.hyponoesis.org Language: English - Date: 2014-12-15 16:09:58 Epistemology Logic Cognition Ontology Schema Critique of Pure Reason Critical thinking Idea Philosophy of self Mind Philosophy Thought
590	The Starring Role of Quantifiers in the History of Formal Semantics Barbara H. Partee. Abstract The history of formal semantics is a history of evolving ideas about logical form, linguistic form, and the nature of semant Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2013-01-08 16:19:32 Science Philosophy of language Formal languages Quantification Grammar Intensional logic Generalized quantifier Mathematical logic First-order logic Logic Semantics Linguistics

UPDATE